MaInterface(T)
== i:Id fp ds:x:Id fp Type  k:{k:Knd| hasloc(k;i)}  fp V:Type  (State(ds)V(T + Top)) 

latex

---

clarification:

ma-interface{i:l}
ma-interface(T)
== i:Id fp
== ds:x:Id fp Type{i}  k:{k:Knd| hasloc(k;i)}  fp V:Type{i}  (State(ds)V(T + Top)) 

latex

Definitions	Id, a:A fp B(a), {x:A| B(x)} , Knd, b, hasloc(k;i), x:A  B(x), Type, State(ds), x:AB(x), left + right, Top
FDL editor aliases	ma-interface